基于灰色时序的完整性规范技术

计算机系统的完整性安全策略模型与规范问题，是计算机安全研究中最重要的课题之一。已有的研究结果离实际应用还相差太远，例如Ｃｌａｒｋ－Ｗｉｌｓｏｎ完整性模型只是提出了一个框架。本文呈现了我们构造的形式化灰色时序安全策略规范语言（ＧＴＳＬ）。ＧＴＳＬ的理论基础是灰色系统理论和时序规范语言ＬＯ－ＴＯＳ理论。由于它在完整性规范能力、完整性验证过程的构造与表示、责任分离合理性测试等一系列技术方面的完善与创新，使得ＧＴＳＬ成为真正能够实际使用的完整性安全策略规范语言。     

二维Root-MUSIC

将一维Ｒｏｏｔ－ＭＵＳＩＣ推广到二维，从而得到了一种新的二维方向估计方法，它具有计算量小的优点。     

可编程控制器直流调速系统通信监控

研究了 Ｓ Ｉ Ｅ Ｍ Ｅ Ｎ Ｓ可编程控制器与具有通信功能的直流调速器之间的通信控制，通过对系统的硬件配置、控制方式、通信软件实现介绍，给出了应用 Ｐ Ｌ Ｃ进行直流调速器串行通信监控的方法。     

渐开线球齿轮及范成法加工方案研究

在球冠面上分布着一道道环形齿廓而形成的球齿轮是一种新型齿轮。球齿轮机构可用来传递空间球面运动。为推广应用,有必要对球齿轮的加工进行研究。本文在分析球形齿轮的形状特性的基础上,将常规齿轮的范成法加工原理推广应用到球齿轮的加工上,从而形成球齿轮的范成加工方法。在应用范成法的前提下,设计了车削加工与铣削加工方案,并具体设计了一套球齿轮车削加工装置,为球齿轮加工的进一步研究提供了最基本的实验手段     

导弹攻防对抗作战效能仿真分析方法论

本文介绍了在基于攻防对抗仿真的导弹作战效能分析时应该面对的四个主要环节，提出了采用攻防对抗仿真进行导弹作战效能分析的一般过程。该方法适用于各类导弹等武器系统攻防对抗仿真作战效能研究。     

提速列车车厢减小空气阻力风洞实验研究

列车提速使得其空气阻力明显增大。为了减小空气阻力，列车车厢气动外形的研究变得愈加重要。在低速风洞中获得的实验结果表明，对现型列车车厢局部外形稍加改善，就能使得其空气阻力大为降低。这是实现我国列车提速最为有效的途径之一。     

差压式管道内检测机器人驱动力与速度分析

差压式管道内检测机器人是利用管道中流动介质压力差驱动的检测装置，机器人受力情况及周围流场分布对其运动状态有着重要的影响。通过对检测机器人受力分析和数值模拟，讨论了影响给定机器人驱动力的主要因素，得到了以水为流动介质在水平管道情况下，水流速度与机器人稳态速度的近似关系式，为以后进一步研究机器人定位提供帮助。     

使用等效偏移角稀疏测量的面阵相机序贯图像几何校正

天基光学相机实际在轨对地观测成像的畸变需通过几何校正抑制。目前主流面阵相机对地观测获得的小尺寸、高帧频序贯图像很难满足传统几何校正方法逐帧解算对单帧图像控制点数量与空域分布的要求且计算量巨大。针对这一问题,提出一种使用等效偏移角稀疏测量的面阵相机序贯观测图像几何校正方法,将逐帧校正参数解算问题转化为时域稀疏测量条件下等效偏移角信号恢复问题,利用等效偏移角信号时频信息可有效降低对单帧图像控制点数量和空域分布要求。通过高分四号卫星面阵相机在轨实测图像数据验证了所提方法的可行性且其能大大降低序贯图像几何校正处理的计算量。     

基于监测数据的电磁频谱地图构建与验证

提出基于广义回归神经网络拟合和聚类克里金的构建方法,通过趋势面拟合,将电磁频谱地图构建分解为路径衰减和阴影衰落分量的估计问题,以提升构建精度;设计监测数据聚类和自适应最优邻域选取机制,在保证构建精度的条件下减小计算数据量,以提升构建速度,从而利用数量有限的电磁环境监测数据,在不需要先验信息的条件下实现电磁频谱地图的准确、快速构建。设计并实现电磁频谱地图验证系统,搭建车载数据采集设备,利用实测电磁环境监测数据,验证所提方法的可行性及构建性能。     

多轴数控机床的通用运动学综合空间误差模型

提出了一种适用任意结构多轴数控机床的新通用运动学综合空间误差模型。该模型包含了由于制造、安装、运动控制不精确和刀具、床身、工件热变形以及其它因素引起的初始位置误差与运动误差 ,反应了机床误差的实际变化规律 ,对机床工作区误差适时全补偿特别有效。为了发展该新型误差模型 ,运用了多体系统运动学理论和齐次变换矩阵。最后 ,利用所述建模理论和方法 ,给出了 3轴立式数控机床的空间误差模型表达式 ,并分析了其 36种误差成分的变化规律